A Comparison of Visual Modeling Notations for Web Services Choreography
نویسنده
چکیده
The Web Services Choreography Description Language (WS-CDL) is an XML-based language for specifying business protocols for \emph{web services enabled} collaborative processes. The use of visual notations in modeling web services choreography has so far been done in an ad hoc fashion as seen in the literature. This paper presents a choreography example in four different visual modeling notations and compares them with regard to the semantics of WS-CDL. The results are useful for establishing a reliable visual approach to modeling web services choreography.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملChoreography Modeling and Analysis with Collaboration Diagrams
UML collaboration diagrams (called communication diagrams in [8]) provide a convenient visual model for specifying Web Service choreographies. A choreography specifies the desired set of interactions among a set of Web services. We formalize the interactions among Web services as conversations, i.e., the sequence of messages exchanged among the services, recorded in the order they are sent. Thi...
متن کاملFormalizing Web Service Choreographies 1 Antonio Brogi
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...
متن کاملFormalizing Web Service Choreographies
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...
متن کاملPartnerübergreifende Geschäftsprozesse und ihre Realisierung in BPEL
The focus of this work is set on business processes spanning across multiple business partners. Such business processes are called choreographies. This work presents the method CREAM which allows modeling choreographies. In contrast to choreographies, orchestrations denote executable business processes of one organization, which use services to realize a business goal. A variation of CREAM enab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010